Craig interpolation - PDFSEARCH.IO - Document Search Engine

Craig interpolation
Results: 35

#	Item
21	Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford Add to Reading List Source URL: developer.logicblox.com Language: English - Date: 2013-10-18 17:50:36 Logic Abstraction Mathematics Model theory Mathematical logic Craig interpolation First-order logic Conjunctive query Beth definability Substitution Interpretation Structure
22	Craig Interpolation for Integer Arithmetic: Results, Implementation, Experiences Philipp R¨ ummer Uppsala University Add to Reading List Source URL: www.eprover.org Language: English - Date: 2012-03-15 08:18:57
23	Interpolation and SAT-based Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark stud Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:16
24	Proof complexity Boolean functions Craig’s interpolation Feasible interpolation Resolution Cutting planes The Frege System The interpolation technique in proof complexity Pavel Hrubeš University of Washington Add to Reading List Source URL: cav2013.forsyte.at Language: English - Date: 2013-07-24 08:46:26
25	Classifying and Solving Horn Clauses for Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:12:36 Logic in computer science Automated theorem proving Logic programming Interpolation Video signal Craig interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
26	Disjunctive Interpolants for Horn-Clause Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 14:09:22 Logic in computer science Logic programming Automated theorem proving Rules of inference Craig interpolation Interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
27	Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz! ! Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:27:37 Model theory Conjunctive query Database theory Lemmas FO First-order logic Structure Craig interpolation Rewriting Mathematics Logic Mathematical logic
28	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
29	A Parametric Interpolation Framework for First-Order Theories Laura Kov´ acs1 , Simone Fulvio Rollini2 , and Natasha Sharygina2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:25:52 Video Video signal Craig interpolation Pi Mathematical analysis Mathematics Interpolation
30	Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:40:38 Applied mathematics Logic in computer science Binary trees Craig interpolation Lemmas Interpolation Satisfiability Modulo Theories Tree Mathematical proof Mathematics Theoretical computer science Mathematical logic